type X = {+p:T}
